Olympiads in Informatics, 2009, Vol. 3, 60–66 © 2009 Institute of Mathematics and Informatics, Vilnius 60 Moe – Design of a Modular Grading System

Source URL: mj.ucw.cz

• Computer architecture
• System software
• Software
• Sandbox
• Modular programming
• Kernel
• Loadable kernel module
• Moe

Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China

Source URL: flint.cs.yale.edu

• Computing
• Computer programming
• Concurrent computing
• Parallel computing
• Software engineering
• Screws
• Thread
• Scheduling
• ISO metric screw thread
• Context switch
• Monitor
• Thread block

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

Dynamically Composing Languages in a Modular Way: Supporting C Extensions for Dynamic Languages Matthias Grimmer Chris Seaton

Source URL: chrisseaton.com

• Object-oriented programming languages
• Scripting languages
• Ruby
• Object-oriented programming
• Objective-C
• Scala
• Dynamic dispatch
• Lua
• Class
• Type system
• Futures and promises
• Smalltalk

Modular reasoning in object-oriented programming David A. Naumann? Department of Computer Science, Stevens Institute of Technology This paper responds to the solicitation of position papers for the IFIP Working Conferenc

Source URL: vstte.ethz.ch

Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming Jonathan Aldrich Institute for Software Research, International Carnegie Mellon University

Source URL: reports-archive.adm.cs.cmu.edu

Galois Transformers and Modular Abstract Interpreters Reusable Metatheory for Program Analysis David Darais Matthew Might

Source URL: matt.might.net

• Computer programming
• Mathematics
• Software engineering
• Functional programming
• Monad
• operator
• Structure
• Closure

TANDEM PROJECT OVERVIEW TANDEM stands for talent and extended mobility in the European innovation union. The 2 year project (Octobercombines

Source URL: www.euraxess-tandem.eu

• Geography of Europe
• Europe
• Estonia
• Republics
• Computing
• Modularity
• Tandem
• Modular programming

JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computing
• Logic in computer science
• Operational semantics
• Denotational semantics
• Semantics
• Programming language
• Expression
• Action semantics
• Monad
• Software engineering
• Theoretical computer science
• Programming language semantics